Relation algebra - PDFSEARCH.IO - Document Search Engine

Relation algebra
Results: 384

#	Item
81	A Formally-Verified C Static Analyzer Jacques-Henri Jourdan Vincent Laporte Sandrine Blazy Add to Reading List Source URL: cristal.inria.fr Language: English - Date: 2014-10-28 11:05:08 Abstract interpretation Field theory Ring theory Function Valuation Ring Interpretation Finitary relation Orbifold Mathematics Abstract algebra Algebra
82	Behavioral Verification of Distributed Concurrent Systems with BOBJ Joseph Goguen Dept. Computer Science & Engineering University of California at San Diego Abstract Add to Reading List Source URL: cseweb.ucsd.edu Language: English - Date: 2005-07-09 15:47:18 Algebraic structures Group theory Module Congruence relation Subalgebra Group action Monad Abstract algebra Mathematics Algebra
83	Kodkod: A Relational Model Finder Emina Torlak and Daniel Jackson MIT Computer Science and Artificial Intelligence Laboratory {emina, dnj}@mit.edu Abstract. The key design challenges in the construction of a SAT-based Add to Reading List Source URL: homes.cs.washington.edu Language: English - Date: 2014-08-13 19:26:58 Model theory Boolean algebra Relational model Logical connectives FO First-order logic Structure Relational algebra Finitary relation Mathematical logic Logic Mathematics
84	Data Representation Synthesis ∗ Peter Hawkins Alex Aiken Kathleen Fisher Add to Reading List Source URL: theory.stanford.edu Language: English - Date: 2011-06-02 19:14:02 SQL Algebra Relational algebra Query optimizer Relation Finitary relation Structure Tuple Table Mathematics Relational model Data management
85	PDF Document Add to Reading List Source URL: www.wisdom.weizmann.ac.il Language: English - Date: 2009-02-26 11:26:26 Algebra Recurrence relation Theory of computation
86	PDF Document Add to Reading List Source URL: fpt.wdfiles.com Language: English - Date: 2013-01-31 23:08:28 Combinatorics Finite groups Permutations Permutation groups Permutation Equivalence relation Base Permutation pattern Pólya enumeration theorem Mathematics Abstract algebra Algebra
87	Dassios and Baleanu Boundary Value Problems 2013, 2013:148 http://www.boundaryvalueproblems.com/contentRESEARCH Open Access Add to Reading List Source URL: www.boundaryvalueproblems.com Language: English Matrix theory Matrices Matrix pencil Matrix Eigenvalues and eigenvectors Recurrence relation Invertible matrix Algebra Linear algebra Mathematics
88	Elementary Graph Theory & Matrix Algebra Add to Reading List Source URL: www.analytictech.com Language: English - Date: 2010-01-21 19:56:29 Equivalence relation Binary relation Finitary relation Order theory Transitive relation Preorder Mathematics Mathematical logic Logic
89	ξ - ζ relation M. Krishna∗ Institute of Mathematical Sciences Taramani, Chennai, India E-mail: 7 January 1999 Add to Reading List Source URL: empslocal.ex.ac.uk Language: English - Date: 2003-07-25 10:20:10 Analytic number theory Operator theory Ordinary differential equations Linear algebra Riemann hypothesis Spectrum Riemann zeta function Fourier transform Sturm–Liouville theory Mathematical analysis Mathematics Spectral theory
90	arXiv:math-ph/9902027v3 12 Mar 1999 Add to Reading List Source URL: arxiv.org Language: English - Date: 2008-02-03 04:57:59 Lie groups Symmetry Group actions Differential geometry Principal bundle Equivalence relation Normal subgroup Coset Homogeneous space Abstract algebra Algebra Group theory

UPDATE